let extract (Cons (x, _)) = x
